This paper composes a new way to describe software architecture through combining the visual modeling language which is object oriented and the formal method which based on temporal logic . it contributes to the research of software architecture description and the research of formal semantics of uml as well as the application of formal method in the software development 本文通過將面向?qū)ο蟮目梢暬UZ言與基于時(shí)序邏輯的形式化方法結(jié)合起來描述軟件體系結(jié)構(gòu),對(duì)軟件體系結(jié)構(gòu)描述研究、 uml形式語義研究和形式化方法在軟件開發(fā)中的應(yīng)用等方面都有一定的推動(dòng)作用。
Based on these , this paper explores a new way which combines the visual modeling language and formal method to describe software architecture through combining uml 2 . 0 and xyz / adl . in this paper , the disadvantage of several main methods of software architectural description is analysed , the advantage of uml 2 . 0 compared with uml 1 . x in the software architecture description is analysed , the corresponding relationship between uml 2 . 0 and xyz / adl in the architectural description is given and uml 2 . 0 model elements which used to describe the according architectural conception are determined , then a new way to describe software architecture which combine uml 2 . 0 and xyz / adl through defining the semantics of xyz / e for uml 2 . 0 is composed . in order to realize this method , the formal semantics of uml 2 . 0 sequence diagram and state diagram based on xyz / e are defined . in final , the arcitectural description of a simple dask manager system which uses our method is given 本文分析和比較了當(dāng)前國內(nèi)外常用的軟件體系結(jié)構(gòu)描述方法,指出了它們各自存在的問題;分析了uml2 . 0與uml1 . x相比在軟件體系結(jié)構(gòu)描述方面的優(yōu)勢,確定了用uml2 . 0描述軟件體系結(jié)構(gòu)概念元素所使用的相關(guān)模型元素,給出了uml2 . 0與xyz / adl在體系結(jié)構(gòu)描述中的元素對(duì)應(yīng)關(guān)系;提出了一種通過定義uml2 . 0相關(guān)視圖的xyz / e語義,把uml2 . 0與xyz / adl結(jié)合起來描述軟件體系結(jié)構(gòu)的新方法,并分別定義了uml2 . 0的順序圖和狀態(tài)圖的xyz / e時(shí)序邏輯語義;最后通過對(duì)一個(gè)簡單的任務(wù)管理系統(tǒng)的體系結(jié)構(gòu)進(jìn)行描述,把本文提出的結(jié)合思想運(yùn)用到實(shí)例系統(tǒng)的描述當(dāng)中。
So , in this paper , it does the research of the bidirectional conversion between uml and xyz / adl . in this way it combines the oo visual modeling language and formal method based on temporal logic together to describe software architecture , and so to find how to apply the formal method to real software development to promote the research not only on main technologies in software but also on formal method 基于此,本文開展了對(duì)基于時(shí)序邏輯的軟件體系結(jié)構(gòu)描述語言xyz / adl和uml之間的雙向轉(zhuǎn)換問題的研究,通過研究二者之間的轉(zhuǎn)換,實(shí)現(xiàn)將基于時(shí)序邏輯的形式化方法與面向?qū)ο蟮目梢暬UZ言相結(jié)合描述軟件體系結(jié)構(gòu),來探討如何將形式化方法應(yīng)用于實(shí)際的軟件開發(fā)過程中,這樣不但能促進(jìn)對(duì)當(dāng)前軟件主流技術(shù)的研究,而且能促進(jìn)對(duì)形式化開發(fā)方法的研究。